Current fears of a “reproducibility crisis” have led researchers, sources of scientific funding, and the public to question both the efficacy and trustworthiness of science. Suggested policy changes have been focused on statistical problems, such as p-hacking, and issues of experimental design and execution. However, “reproducibility” is a broad concept that includes a number of issues. Furthermore, reproducibility failures occur even in fields such as mathematics or computer science that do not have statistical problems or issues with experimental design. Most (...) importantly, these proposed policy changes ignore a core feature of the process of scientific inquiry that occurs after reproducibility failures: the integration of conflicting observations and ideas into a coherent theory. (shrink)

This volume collects Late Ancient, Byzantine and Medieval appropriations of Aristotle's Posterior Analytics, addressing the logic of inquiry, concept formation, the question whether metaphysics is a science, and the theory of demonstration.

Passage through the cell cycle requires the successive activation of different cyclin‐dependent protein kinases (CDKs). These enzymes are controlled by transient associations with cyclin regulatory subunits, binding of inhibitory polypeptides and reversible phosphorylation reactions. To promote progression towards DNA replication, CDK/cyclin complexes phosphorylate proteins required for the activation of genes involved in DNA synthesis, as well as components of the DNA replication machinery. Subsequently, a different set of CDK/cyclin complexes triggers the phosphorylation of numerous proteins to promote the profound structural (...) reorganizations that accompany the entry of cells into mitosis. At present, much research is focused on elucidating the links between CDK/cyclin complexes and signal transduction pathways controlling cell growth, differentiation and death. In future, a better understanding of the cell cycle machinery and its deregulation during oncogenesis may provide novel opportunities for the diagnostic and therapeutic management of cancer and other proliferation‐related diseases. (shrink)

This is the first full discussion of Philoponus' account of matter.

In this paper I propose a reading of Plotinus Enneads VI.1-3 [41-43] On the genera of being which regards this treatise as a coherent whole in which Aristotle's "Categories" is explored in a way that turns it into a decisive contribution to Plotinus' Platonic ontology. In addition, I claim that Porphyry's Isagoge and commentaries on the "Categories" start by adopting Plotinus' point of view, including his notion of genus, and proceed by explaining its consequences for a more detailed reading of (...) the "Categories." After Plotinus' integration of the "Categories" into the Platonic frame of thought Porphyry saw the possibilities of exploiting the Peripatetic tradition both as a means to support the Platonic interpretation of the "Categories" and as a source for solutions to traditional questions. His allegiance to a division of being into ten, and his emphasis on semantics rather than ontology can be explained from this orientation. In the light of our investigation the alleged disagreement between Plotinus and Porphyry on the "Categories" changes its appearance completely. There are differences, but these can be best explained as confirmation and extension of Plotinus' perspective on the "Categories" and its role in Platonism. (shrink)

Jaap Mansfeld and Frans de Haas bring together in this volume a distinguished international team of ancient philosophers, presenting a systematic, chapter-by-chapter study of one of the key texts in Aristotle's science and metaphysics: the first book of On Generation and Corruption. In GC I Aristotle provides a general outline of physical processes such as generation and corruption, alteration, and growth, and inquires into their differences. He also discusses physical notions such as contact, action and passion, and mixture. These (...) notions are fundamental to Aristotle's physics and cosmology, and more specifically to his theory of the four elements and their transformations. Moreover, references to GC elsewhere in the Aristotelian corpus show that in GC I Aristotle is doing heavy conceptual groundwork for more refined applications of these notions in, for example, the psychology of perception and thought, and the study of animal generation and corruption. Ultimately, biology is the goal of the series of enquiries in which GC I demands a position of its own immediately after the Physics. The contributors deal with questions of structure and text constitution and provide thought-provoking discussions of each chapter of GC I. New approaches to the issues of how to understand first matter, and how to evaluate Aristotle's notion of mixture are given ample space. Throughout, Aristotle's views of the theories of the Presocratics and Plato are shown to be crucial in understanding his argument. (shrink)

In this paper I explore the ways in which Alexander of Aphrodisias employs and develops so-called ‘common notions’ as reliable starting points of deductive arguments. He combines contemporary developments in the Stoic and Epicurean use of common notions with Aristotelian dialectic, and axioms. This more comprehensive concept of common notions can be extracted from Alexander’s commentary on Metaphysics A 1–2. Alexander puts Aristotle’s claim that ‘all human beings by nature desire to know’ in a larger deductive framework, and adds weight (...) to Aristotle’s use of the common understanding of the notion of ‘wisdom’. Finally I will indicate how these upgraded common notions are meant to play an important role in the general framework of metaphysics as a science. (shrink)

Following the publication of the seminal Fear of Freedom, Erich Fromm applied his unique vision to a critique of contemporary capitalism in The Sane Society. Where the former dealt with man's historic inability to come to terms with his sense of isolation, and the dangers to which this can lead, The Sane Society took his theories one step further. In doing so it established Fromm as one of the most controversial political thinkers of his generation. Anaylsing how individuals conform (...) to contemporary capitalist and patriarchal societies, the book was published to wide acclaim and even wider disapproval. It was a scathing indictment of modern capitalism and as such proved unwelcome to many. Unwelcome because much of what Fromm had to say was true. Today, as we settle into the challenges of the 21st century, Fromm's writings are just as relevant as when they were first written. Read it and decide for yourself - are you living in a sane society? (shrink)

In this volume specialists of medieval music and philosophy put the medieval 'musica' into the context of ideas and institutions in which it existed. The significance of 'musica' cannot be understood from a modern point of view since 'music' does not match the medieval 'musica'.

In this opinionated review, I draw attention to some of the contributions reinforcement learning can make to questions in the philosophy of mind. In particular, I highlight reinforcement learning's foundational emphasis on the role of reward in agent learning, and canvass two ways in which the framework may advance our understanding of perception and motivation.

Putnam (1975) and Burge (1979) have made a convincing case that neither mea- nings nor beliefs are in the head. Most philosophers, it seems, have accepted their argument. Putnam explained that a subject.

This collection of essays presents a novel interpretation of a signature work of Alexander of Aphrodisias, and of the Stoic philosophy he seeks to refute. It covers all chapters of the work, challenging existing scholarship in significant ways.

I describe a suite of reinforcement learning environments in which artificial agents learn to value and respond to moral content and contexts. I illustrate the core principles of the framework by characterizing one such environment, or “gridworld,” in which an agent learns to trade-off between monetary profit and fair dealing, as applied in a standard behavioral economic paradigm. I then highlight the core technical and philosophical advantages of the learning approach for modeling moral cognition, and for addressing the so-called value (...) alignment problem in AI. (shrink)

This is a description of an avian-shaped feature that rests below a network of cellular structures found on a mound within the Argyre Basin of Mars in Mars Global Surveyor image M14-02185, acquired on April 30, 2000, and released to the public on April 4, 2001. The area examined is located near 48.0° South, 55.1° West. The formation is approximately 2,400 meters long from the tip of its beak to the tip of its farthest tail feather. There is a minimum (...) of six different variations in appearance of the surface material over this small area. Utilizing the public targeting request form provided on the Mars Global Surveyor (MGS) website, co-author Miller secured a second image of the area that was obtained on July 3, 2006, showing this feature under different conditions S20-00165. The new image was then released to the public on August 11, 2006. A third image of the formation identified as MGS S13-01480 was acquired on December 15, 2005, and although officially processed on June 20, 2006, it was not made available to the public until August 22, 2009, on NASA’s Planetary Data System (PDS) website. All three of the MGS images reveal defining aspects of this avian feature, including a head, beak, body, eye, leg, foot, toes, wing, and feathers. When taken together, these components induce the visual impression of an avian-shaped formation that exhibits a unique set of proportional features. Adjoining this formation is a composite of complex cellular features that form a compartmentalized infrastructure. The three authors who are veterinarians provide a critical analysis of the avian features, and the geologist and geoscientist authors examine natural mechanisms that could contribute to the formation of this feature. An extensive search of comparable regions within and beyond the area of the Argyre Basin was conducted. A list of these sites is provided, and terrestrial comparisons are also offered. (shrink)

This volume captures the individuality, the national and personal identity, the cultural exchange, and the self-consciousness that have long been sensed as peculiarly potent in the Hellenistic world. The fields of history, literature, art, philosophy, and religion are each presented using the format of two essays followed by a response. Conveying the direction and focus of Hellenistic learning, eighteen leading scholars discuss issues of liberty versus domination, appropriation versus accommodation, the increasing diversity of citizen roles and the dress and gesture (...) appropriate to them, and the accompanying religious and philosophical ferment. The result is an arresting view of the incredible and unprecedented diversity of the Hellenistic world. (shrink)

This paper makes the assumption that organ transplantation is, under some conditions at least, a proper use of communal medical resources. Proceeding from this assumption, the author: (1) sketches the history of the problem; (2) briefly examines the prevalent models of communal structure and offers an alternate version; (3) discusses notions of justice and obligation derived from these different models; (4) applies these to the practice of harvesting organs for transplantation; and then (5) offers a different process for harvesting organs (...) from the newly dead.If community is viewed as united by a set of shred goals and common values among which the value of community itself is important, then certain reciprocal obligations among members obtain. I suggest that routine salvage of organs from the newly dead be instituted but that it be routine salvage with a twist: rather early in life all members of the community are given the opportunity to refuse but their refusal carries the reciprocal condition that they cannot later become the recipients of that which they refuse to others. (shrink)

In this paper I propose a reading of Plotinus Enneads VI.1-3 [41-43] On the genera of being which regards this treatise as a coherent whole in which Aristotle's Categories is explored in a way that turns it into a decisive contribution to Plotinus' Platonic ontology. In addition, I claim that Porphyry's Isagoge and commentaries on the Categories start by adopting Plotinus' point of view, including his notion of genus, and proceed by explaining its consequences for a more detailed reading of (...) the Categories. After Plotinus' integration of the Categories into the Platonic frame of thought Porphyry saw the possibilities of exploiting the Peripatetic tradition both as a means to support the Platonic interpretation of the Categories and as a source for solutions to traditional questions. His allegiance to a division of being into ten, and his emphasis on semantics rather than ontology can be explained from this orientation. In the light of our investigation the alleged disagreement between Plotinus and Porphyry on the Categories changes its appearance completely. There are differences, but these can be best explained as confirmation and extension of Plotinus' perspective on the Categories and its role in Platonism. (shrink)

Ordinal, interval, and ratio scales are discussed and arguments for the thesis that “better than” comparisons reside on interval or ratio scales are laid out. It is argued that linguistic arguments are not conclusive since alternative rank-based definitions can be given, and that in general “better than” comparisons do not have a common scale type. Some comparison dimensions reside on ratio scales, whereas others do not show any evidence of lying on a scale stronger than an ordinal scale.

This text is a short introduction to logic that was primarily used for accompanying an introductory course in Logic for Linguists held at the New University of Lisbon (UNL) in fall 2010. The main idea of this course was to give students the formal background and skills in order to later assess literature in logic, semantics, and related fields and perhaps even use logic on their own for the purpose of doing truth-conditional semantics. This course in logic does not replace (...) a proper introduction to semantics and is not intended as such, although parts of Chapter 1 and 4 could be used to supplement an introductory course in semantics. In contrast to other introductions it has a certain focus on ‘writing things down correctly.’ Proofs of metatheorems are omitted, though. -/- This is work in progress. Please send suggestions and corrigenda to erich@snafu.de. Have fun! (shrink)

Guarded fragments of first-order logic were recently introduced by Andreka, van Benthem and Nemeti; they consist of relational first-order formulae whose quantifiers are appropriately relativized by atoms. These fragments are interesting because they extend in a natural way many propositional modal logics, because they have useful model-theoretic properties and especially because they are decidable classes that avoid the usual syntactic restrictions (on the arity of relation symbols, the quantifier pattern or the number of variables) of almost all other known decidable (...) fragments of first-order logic. Here, we investigate the computational complexity of these fragments. We prove that the satisfiability problems for the guarded fragment (GF) and the loosely guarded fragment (LGF) of first-order logic are complete for deterministic double exponential time. For the subfragments that have only a bounded number of variables or only relation symbols of bounded arity, satisfiability is EXPTIME-complete. We further establish a tree model property for both the guarded fragment and the loosely guarded fragment, and give a proof of the finite model property of the guarded fragment. It is also shown that some natural, modest extensions of the guarded fragments are undecidable. (shrink)

We identify the computational complexity of the satisfiability problem for FO 2 , the fragment of first-order logic consisting of all relational first-order sentences with at most two distinct variables. Although this fragment was shown to be decidable a long time ago, the computational complexity of its decision problem has not been pinpointed so far. In 1975 Mortimer proved that FO 2 has the finite-model property, which means that if an FO 2 -sentence is satisfiable, then it has a finite (...) model. Moreover, Mortimer showed that every satisfiable FO 2 -sentence has a model whose size is at most doubly exponential in the size of the sentence. In this paper, we improve Mortimer's bound by one exponential and show that every satisfiable FO 2 -sentence has a model whose size is at most exponential in the size of the sentence. As a consequence, we establish that the satisfiability problem for FO 2 is NEXPTIME-complete. (shrink)

What is a problem? What is problematic about any problem whatsoever, philosophical or otherwise? As the origin of assertion and apodeiction, the problematic suspends the categories of necessity and contingency, possibility and impossibility. And it is this suspension that is the essence of the problem, which is why it is so suspenseful. But then, how is the problem problematic? Only if what is suspended neither comes to presence, nor simply goes out into absence, that is, if the suspension continues, which (...) continues the problem. But what is problematic about suspension? As a consideration of language shows, the problem of suspension is the problem of implication. If being, for example, is merely implied, neither present nor absent, then it is the suspension of both, at least insofar as it is problematic. And this not only says something about language; rather, it has ontological implications as well — it speaks of being, and the being of anything whatsoever. For if being is implied, if that is the problem of being, it is because being is an implication. Then the being of things like problems is implied as well; or being is in things by implication. But what does it mean for being to be neither presence nor absence, but an implication? It means that being is implied in a way that is problematic — before it is necessary, or even possible. For being’s way of being is characterized by suspension — which has implications for thinking and speaking about being, and about things like problems, even about anything whatsoever. And this has implications for what being implies, namely, unity and time and aspect. (shrink)